منابع مشابه
Oscon: an Operating System Consultant∗
One of the most useful applications of natural language interface technology is the area of computer consultants. Computer consultants are programs which a user can ask for help about some topic. One of the easiest ways to interact with computer consultants is by typed English. These programs can give answers in English too. We hav e developed a computer consultant called OSCON (Operating Syste...
متن کاملEOS: An Extensible Operating System
Performance and stability of the network is a business requirement for datacenter networking, where a single scalable fabric carries both network and storage traffic. Management processes must be scalable for successful deployment and operation, requiring a high degree of automation and integration into the customer’s unique environment. The design and architecture of the network operating syst...
متن کاملOperating System Verification — An Overview
This paper gives a high-level introduction to the topic of formal, interactive, machine-checked software verification in general, and the verification of operating systems code in particular. We survey the state of the art, the advantages and limitations of machinechecked code proofs, and describe two specific ongoing larger-scale verification projects in more detail.
متن کاملAn Object Model for Conventional Operating Systems
We have developed an object model for conventional (UNIX-like) systems. It can be used for extending such systems with persistent, shared, protected, and distributed objects. It allows objects to coexist with, access, and be accessed by existing components of the operating system, and has been developed by applying much of the work done in naming, organization, access, and protection of convent...
متن کاملMetro Station Operating Costs: An Econometric Analysis
This article develops an econometric analysis of metro station operating cost to identify factors that create variation in cost efficiency. Stations operating costs can be classified amongst the semifixed costs that a metro faces in the sense that they do not vary proportionately with metro output. They may therefore be important in determining the degree of returns to density. This article see...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Royal Society of Medicine
سال: 1929
ISSN: 0035-9157
DOI: 10.1177/003591572902200743